Charles Peirce and Bertrand Russell on Euclid
نویسندگان
چکیده
منابع مشابه
The mathematics of Charles Sanders Peirce
This essay explores the Mathematics of Charles Sanders Peirce. We concentrate on his notational approaches to basic logic and his general ideas about Sign, Symbol and diagrammatic thought. In the course of this paper we discuss two notations of Peirce, one of Nicod and one of Spencer-Brown. Needless to say, a notation connotes an entire language and these contexts are elaborated herein. The fir...
متن کاملModels of scientific community : Charles Sanders Peirce
‘Scientific community’ is common currency in the study of science, largely due to Kuhn’s use of the term in his highly influential book The Structure of Scientific Revolutions. As this article explains, however, ‘scientific community’ was not of Kuhn’s coining. It was hinted at by Peirce, and expressly designated by Royce. On a few occasions Fleck affirmed a scientific community, while Polanyi ...
متن کامل“ " What Is Truth ? ” by Bertrand Russell
An early three-volume technical work written with A. N. Whitehead sought to prove that the fields of mathematics could be derived from logic. The anecdote is told by G. H. Hardy 1 where Russell reported he dreamed that Principia Mathematica, his three-volume massive study, was being weeded out by a student assistant from library shelves two centuries hence. About the work.. .. In the chapter "T...
متن کاملTHE ANALYSIS OF MIND by BERTRAND RUSSELL
It is clear that a sufficiently ingenious person could manufacture a machine moved by olfactory stimuli which, whenever a dog appeared in its neighbourhood, would say, "There is a dog," and when a cat appeared would throw stones at it. The act of saying "There is a dog," and the act of throwing stones, would in such a case be equally mechanical. Correct speech does not of itself afford any bett...
متن کاملBertrand Russell, Herbrand's Theorem, and the Assignment Statement
While propositional modal logic is a standard tool, first-order modal logic is not. Indeed, it is not generally understood that conventional first-order syntax is insufficiently expressible. In this paper we sketch a natural syntax and semantics for first-order modal logic, and show how it easily copes with well-known problems. And we provide formal tableau proof rules to go with the semantics,...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Revista Brasileira de História da Matemática
سال: 2020
ISSN: 2675-7079,1519-955X
DOI: 10.47976/rbhm2019v19n3779-94